windowManager: Don't use show_all

It is deprecated and does not make sense there anyway, so use show() instead.

https://bugzilla.gnome.org/show_bug.cgi?id=694441

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 7c1ff095cc73973200dca7017ab5f43e402a9cd8..c642d2c70b6fa903ad9d958e8e50fb02392ed0a9 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -593,7 +593,7 @@ const WindowManager = new Lang.Class({
                 switchData.windows.push({ window: window,
                                           parent: window.get_parent() });
                 window.reparent(switchData.inGroup);
-                window.show_all();
+                window.show();
             }
         }